Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
51	BPM Conference, Sept. 7, 2005, Nancy, France sPAC (Web Services Performance Analysis C enter): Performance analysis and estimation tool of web services Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:06 Computing Web standards Web services Electronic design automation Simulation Logic simulation Business Process Execution Language SOAP
52	Policy on Acceptable Simulation Data Archiving Simulation data is any data which is produced through numerical calculations which are based on a model. The model typically has inputs that are based on observed data, but Add to Reading List Source URL: ppi.pds.nasa.gov Language: English - Date: 2016-02-05 18:19:47 Electronic design automation Simulation Scientific modeling Electronic engineering Operations research Scientific modelling Logic simulation Epistemology Computer simulation Modeling and simulation
53	Microsoft Word - orbs7040.doc Add to Reading List Source URL: www.math.hkbu.edu.hk Language: English - Date: 2013-09-27 05:04:14 Electronic design automation Scientific modeling Simulation Electronic engineering Operations research Spreadsheet Scientific modelling Computer simulation Discrete event simulation Logic simulation
54	Microsoft Word - MEDEA2008-cfp_allineato.doc Add to Reading List Source URL: garga.iet.unipi.it Language: English - Date: 2008-07-22 08:11:16 Computing Concurrent computing Parallel computing Computer memory Computer architecture Microprocessors Electronic design automation Network on a chip Transactional memory Multi-core processor Very long instruction word Multiprocessing
55	Abstraction-Based Algorithm for 2QBF Mikol´asˇ Janota2 and Joao Marques-Silva1,2 1 University College Dublin, Ireland 2 Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Boolean algebra Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem True quantified Boolean formula Maximum satisfiability problem Model checking Conjunctive normal form Satisfiability Tseytin transformation
56	EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-03 18:01:36 Boolean algebra Logic in computer science Boolean satisfiability problem Electronic design automation SAT Human intelligence
57	Microsoft Word - Ridgetop press releaseQ-Star Add to Reading List Source URL: www.ridgetopgroup.com Language: English - Date: 2015-07-18 01:30:10 Design for X Survival analysis Design for testing Electronic design automation Prognostics Reliability engineering Objective Systems Integrators
58	A Fast TCAD-based Methodology for Variation Analysis of Emerging Nano-Devices Hassan Ghasemzadeh Mohammadi∗ , Pierre-Emmanuel Gaillardon∗ , Majid Yazdani† , Giovanni De Micheli∗ Integrated Systems Laboratory∗ , Add to Reading List Source URL: majid.yazdani.me Language: English - Date: 2015-08-19 06:57:44 Econometrics Electronic design automation Computational neuroscience Computational statistics Operations research Simulation Computer simulation Artificial neural network Regression analysis Linear regression Prediction Synopsys
59	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
60	PS-1 Ultra Low-Power High-Speed Flexible Probabilistic Adder for Error-Tolerant Applications Add to Reading List Source URL: www.bpti.lt Language: English - Date: 2013-12-16 08:28:50 Computer networking Electronic design automation Network protocols Network on a chip Routing protocols Routing Router Packet switching Mesh networking